Proof assistant - PDFSEARCH.IO - Document Search Engine

Proof assistant
Results: 176

#	Item
131	Medallion Cabinetry Delivery Confirmation System Cuts Errors and Losses Challenge For customers, the quality and craftsmanship of Medallion Cabinetry products is immediately apparent. But proof of delivery frequently was Add to Reading List Source URL: www.mobileidsolutions.com Language: English - Date: 2015-01-26 07:26:20 United States Postal Service Bluetooth Personal digital assistant Zebra Technology Mobile computers Radio-frequency identification
132	Progress in the Development of Automated Theorem Proving for Higher-order Logic? Geoff Sutcliffe1 , Christoph Benzm¨ uller2 , 3 Add to Reading List Source URL: www.boldsolutions.de Language: English - Date: 2011-03-22 14:11:30 Logic Geoff Sutcliffe CADE ATP System Competition TPTP Vampire Automated reasoning First-order logic Proof assistant Logic programming Automated theorem proving Mathematical logic Theoretical computer science
133	LEO-II - A Cooperative Automatic Theorem Prover for Classical Higher-Order Logic⋆ Christoph Benzm¨ uller1 , Lawrence C. Paulson2 , Frank Theiss1 , and Arnaud Fietzke3 1 Add to Reading List Source URL: www.boldsolutions.de Language: English - Date: 2011-03-22 14:11:27 Automated theorem proving Vampire Resolution First-order logic Term indexing Unification FO Proof assistant Isabelle Logic Mathematics Mathematical logic
134	Dependent Types for an Adequate Programming of Algebra Sergei D. Meshveliani ? Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2013-07-06 08:56:04 Functional languages Agda Haskell Proof assistant Dependent type Fold Functional programming Q Type system Software engineering Computing Programming language theory
135	The LEO-II Project Christoph Benzm¨uller⋆† , Larry Paulson⋆ Frank Theiss† , Arnaud Fietzke† † Add to Reading List Source URL: www.boldsolutions.de Language: English - Date: 2011-03-22 14:11:24 Mathematical logic Isabelle Proof assistant Vampire SPASS HOL Higher-order logic First-order logic Resolution Theoretical computer science Logic Automated theorem proving
136	ThEdu Preface This volume contains the papers presented at ThEdu’13: International Workshop on Theorem Proving Components for Educational Software held on July 10, 2013 in Bath, UK. There were 2 submissions. Each submi Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2013-07-10 05:43:59 Automated theorem proving Proof assistant University of Coimbra
137	Escape to ATP for Mizar Piotr Rudnicki∗ Josef Urban† University of Alberta Add to Reading List Source URL: pxtp2011.loria.fr Language: English - Date: 2011-08-12 05:51:25 Formal methods Automated theorem proving Mizar system QED manifesto Proof assistant Automated proof checking Automated reasoning Mizar and Alcor Mizar Theoretical computer science Mathematics Applied mathematics
138	A Mechanized Program Verifier J Strother Moore1 Department of Computer Sciences, University of Texas at Austin, Austin, Texas 78712, USA [removed], WWW home page: http://cs.utexas.edu/users/moore Add to Reading List Source URL: vstte.inf.ethz.ch Language: English - Date: 2005-03-23 00:34:24 Automated theorem proving Formal methods Lisp programming language Model theory ACL2 Nqthm Proof assistant Formal verification J Strother Moore Logic Mathematics Theoretical computer science
139	Towards a Worldwide Verification Technology Wolfgang Paul April[removed] Add to Reading List Source URL: vstte.inf.ethz.ch Language: English - Date: 2005-09-27 04:10:06 Logic in computer science Formal methods Logical syntax Formal sciences Mathematical logic Formal verification Isabelle Proof assistant KeY Logic Mathematics Theoretical computer science
140	Adventures in Extraction Wouter Swierstra Brouwer Seminar, [removed]with some slides from Don Stewart Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2012-01-11 05:53:34 Functional languages Tiling window managers Xmonad Coq Compcert Haskell Proof assistant Functional programming Ion Software System software Computing

UPDATE